Generalized fuzzy logic and lock semantic resolution principle 广义模糊逻辑和锁语义归结原理
A generalized semi-lock resolution 一种新的广义半锁归结
In Boolean operator fuzzy logic, the generalized lock resolution is generalized complete if the same predicate symbols Rave the same index. 在布尔算子模糊逻辑中,当相同谓词符号配相同锁时,广义锁归结方法是广义完备的。